Natural language programming

Results: 221



#Item
121A Program Logic for Resource Verification David Aspinall1 , Lennart Beringer1 , Martin Hofmann2 , Hans-Wolfgang Loidl2 , Alberto Momigliano1 1 2

A Program Logic for Resource Verification David Aspinall1 , Lennart Beringer1 , Martin Hofmann2 , Hans-Wolfgang Loidl2 , Alberto Momigliano1 1 2

Add to Reading List

Source URL: groups.inf.ed.ac.uk

Language: English - Date: 2004-05-24 09:01:38
122Dear NTCIR community, As was announced during the NTCIR-8 Meeting, there will be some changes in the central coordination of the next NTCIR-9 based on careful reflection of the past NTCIR activities. First of all, NII (

Dear NTCIR community, As was announced during the NTCIR-8 Meeting, there will be some changes in the central coordination of the next NTCIR-9 based on careful reflection of the past NTCIR activities. First of all, NII (

Add to Reading List

Source URL: research.nii.ac.jp

Language: English - Date: 2010-09-03 05:07:52
123Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University

Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University

Add to Reading List

Source URL: www.yisongyue.com

Language: English - Date: 2011-10-28 13:51:58
124Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University

Linear Submodular Bandits and their Application to Diversified Retrieval Carlos Guestrin Machine Learning Department Carnegie Mellon University

Add to Reading List

Source URL: www.yisongyue.com

Language: English - Date: 2011-10-28 13:51:45
125Effective Extraction of Thematically Grouped Key Terms From Text Maria Grineva Maxim Grinev and Dmitry Lizorkin Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow, Russia[removed]

Effective Extraction of Thematically Grouped Key Terms From Text Maria Grineva Maxim Grinev and Dmitry Lizorkin Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow, Russia[removed]

Add to Reading List

Source URL: mint.typepad.com

Language: English - Date: 2009-03-16 11:27:46
126Efficient Ranking and Computation of Semantic Relatedness and its Application to Word Sense Disambiguation Maxim Grinev, Dmitry Lizorkin, Denis Turdakov, Pavel Velikhov Institute for System Programming Russian Academy of

Efficient Ranking and Computation of Semantic Relatedness and its Application to Word Sense Disambiguation Maxim Grinev, Dmitry Lizorkin, Denis Turdakov, Pavel Velikhov Institute for System Programming Russian Academy of

Add to Reading List

Source URL: modis.ispras.ru

Language: English - Date: 2009-04-09 04:33:31
127Special edition ­ May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN L­R

Special edition ­ May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN L­R

Add to Reading List

Source URL: www.eurosite.org

Language: English - Date: 2012-08-06 06:22:44
128Special edition ­ May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN L­R

Special edition ­ May[removed]Land stewardship: The Key To Preserving Our Natural Environment Picture courtesy of T. Gendre, CEN L­R

Add to Reading List

Source URL: www.eurosite.org

Language: English - Date: 2012-05-30 07:35:25
129Computer-based Content Analysis ¨ Johannes Knopp, Cacilia Zirn Knowledge Representation and Knowledge Management Research Group School of Business Informatics and Mathematics

Computer-based Content Analysis ¨ Johannes Knopp, Cacilia Zirn Knowledge Representation and Knowledge Management Research Group School of Business Informatics and Mathematics

Add to Reading List

Source URL: dws.informatik.uni-mannheim.de

Language: English - Date: 2014-09-29 11:41:53
130c 2005 Cambridge University Press Natural Language Engineering 11 (1): 27–65.  27 DOI: [removed]S1351324904003547 Printed in the United Kingdom

c 2005 Cambridge University Press Natural Language Engineering 11 (1): 27–65.  27 DOI: [removed]S1351324904003547 Printed in the United Kingdom

Add to Reading List

Source URL: www.ltg.ed.ac.uk

Language: English - Date: 2007-05-10 14:22:15